<html>
<head><meta charset="utf-8"><title>solve_limited · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solve_limited.html">solve_limited</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="185935181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solve_limited/near/185935181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solve_limited.html#185935181">(Jan 17 2020 at 16:57)</a>:</h4>
<p>So <span class="user-mention" data-user-id="232957">@Jack Huey</span> -- for <a href="https://github.com/rust-lang-nursery/chalk/issues/321" target="_blank" title="https://github.com/rust-lang-nursery/chalk/issues/321">chalk#321</a> -- I think I'm inclined to merge</p>



<a name="185935203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solve_limited/near/185935203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solve_limited.html#185935203">(Jan 17 2020 at 16:57)</a>:</h4>
<p>but I wonder if we should start writing up design plans in chalk book</p>



<a name="185935262"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solve_limited/near/185935262" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solve_limited.html#185935262">(Jan 17 2020 at 16:57)</a>:</h4>
<p>I've actually already forgotten now just when <code>should_continue</code> is invoked</p>



<a name="185935353"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solve_limited/near/185935353" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solve_limited.html#185935353">(Jan 17 2020 at 16:58)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/pull/321/files#diff-e282e877f60f5897fdd027df3ca1bd89R184" target="_blank" title="https://github.com/rust-lang/chalk/pull/321/files#diff-e282e877f60f5897fdd027df3ca1bd89R184">https://github.com/rust-lang/chalk/pull/321/files#diff-e282e877f60f5897fdd027df3ca1bd89R184</a></p>



<a name="185935379"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solve_limited/near/185935379" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solve_limited.html#185935379">(Jan 17 2020 at 16:58)</a>:</h4>
<p>Whenever <code>root_answer</code> yields <code>QuantumExceeded</code></p>



<a name="185935403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solve_limited/near/185935403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solve_limited.html#185935403">(Jan 17 2020 at 16:59)</a>:</h4>
<p>But yes, definitely should write this up in chalk book</p>



<a name="185935430"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solve_limited/near/185935430" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solve_limited.html#185935430">(Jan 17 2020 at 16:59)</a>:</h4>
<p>I'm planning on this weekend being a "meta weekend" for me</p>



<a name="185935453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solve_limited/near/185935453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solve_limited.html#185935453">(Jan 17 2020 at 16:59)</a>:</h4>
<p>e.g. writing up stuff in chalk book</p>



<a name="185935464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solve_limited/near/185935464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solve_limited.html#185935464">(Jan 17 2020 at 16:59)</a>:</h4>
<p>and issue triage/labels</p>



<a name="185935469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solve_limited/near/185935469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solve_limited.html#185935469">(Jan 17 2020 at 16:59)</a>:</h4>
<p>Yeah, I found it in the PR again, and I also re-read notes from our design meeting</p>



<a name="185935555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solve_limited/near/185935555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solve_limited.html#185935555">(Jan 17 2020 at 17:00)</a>:</h4>
<p>and cleaning up the chalk goals and make concrete plans</p>



<a name="185935701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solve_limited/near/185935701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solve_limited.html#185935701">(Jan 17 2020 at 17:01)</a>:</h4>
<p>I left a review with one nit</p>



<a name="185936582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/solve_limited/near/185936582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/solve_limited.html#185936582">(Jan 17 2020 at 17:09)</a>:</h4>
<blockquote>
<p>I left a review with one nit</p>
</blockquote>
<p>Updated :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>